<html>
<head>
    <link rel="stylesheet" type="text/css" href="css/tips.css">
</head>
<body>


    <p>For the embedded local terminal, you can define the preferable shell, default tab name, and other settings on the <span
        class="control">Tools | Terminal</span> settings/preferences page.
    </p>

</body>
</html>
